Skip to main content

Microsoft Research Audio

Microsoft

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas in 13 research labs around the world. Discover what we've delivered to Microsoft and to the world, such as contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

1,572
RESULTS


audio 1,572

PART OF
Podcasts

TOPIC
Microsoft Research 1,572
Microsoft Research Audio MP3 Archive 1,572
Tamara Pesik 57
Jim Larus 43
Kirsten Wiley 43
Kim Ricketts and Kirsten Wiley 40
39
Jennifer Chayes 39
Dan Fay 36
Victor Bahl 33
Eric Horvitz 29
Liz Lawley 29
Mark Lewin 28
Jin Li 27
Rick Szeliski 25
Angela Kernan 21
John Nordlinger 21
Kim Ricketts 21
Yuval Peres 21
Mary Czerwinski 20
Shaz Qadeer 20
Evelyne Viegas 17
Feng Zhao 17
Kristin Lauter 17
Tom Ball 16
Jim Gemmell 15
Marc Smith 15
Wolfram Schulte 15
David Wilson 14
Helen Wang 14
Yuri Gurevich 14
Ben Zorn 12
Galen Hunt 12
Kevin Schofield 12
Shelly Farnham 11
Zhengyou Zhang 11
Sing Bing Kang 10
Trishul Chilimbi 10
Bill Dolan 9
Darko Kirovski 9
Kamal Jain 9
Onur Mutlu 9
Rustan Leino 9
Susan Dumais 9
Alex Acero 8
Danyel Fisher 8
Jennifer Sisti 8
Michael Gamon 8
Nebojsa Jojic 8
Stewart Tansley 8
Yi-Min Wang 8
David Tarditi 7
Eric Brill 7
John Platt 7
Lucy Vanderwende 7
Madan Musuvathi 7
Paul Viola 7
Ratul Mahajan 7
Richard Draves 7
Rob DeLine 7
Assaf Naor 6
Henry Cohn 6
Hugues Hoppe 6
Ivan Tashev 6
Jitu Padhye 6
Joshua Goodman 6
Nicole Immorlica 6
Nikolaj Bjorner 6
Philip A. Chou 6
Ranveer Chandra 6
Alessandro Forin 5
Chris J.C. Burges 5
Clay Shirky 5
Danah Boyd 5
Daniel Pargman 5
David Heckerman 5
Dennis Gannon 5
Francesco Logozzo 5
Jakob Rehof 5
Jim Larus, Dennis Gannon 5
John Dunagan 5
John Krumm 5
John SanGiovanni 5
Manuel Fahndrich 5
Melissa Chase 5
Nachi Nagappan 5
None listed 5
Rico Malvar 5
Sriram Rajamani 5
Yunnan Wu 5
Ben Livshits 4
Byron Cook 4
Chris Meek 4
Chris Quirk 4
Dan Ling 4
David Nister 4
Dimitris Achlioptas 4
Doug Burger 4
Emre Kiciman 4
Geoffrey Fox 4
Gina Venolia 4
Jeremy Elson 4
Jie Liu 4
Joe Hellerstein 4
Kelvin Sung 4
Ken Hinckley 4
Kentaro Toyama 4
Kirsten Wiley and Kim Ricketts 4
Leonardo de Moura 4
Li Deng 4
Lili Cheng 4
Mike Seltzer 4
Nikolai Tillmann 4
Oded Schramm 4
Phil Chou 4
Reinier Broker 4
Sumit Basu 4
Surajit Chaudhuri 4
Tim Paek 4
Wolfgang Grieskamp 4
Yong Rui 4
A.J. Brush 3
Abraham Flaxman 3
Albert Greenberg 3
Alec Wolman 3
Andrew Begel 3
Bertrand Meyer 3
Bruce Kleiner 3
Cha Zhang 3
Chris Brockett 3
Chris Hawblitzel 3
Ciprian Chelba 3
David Lomet 3
David Maltz 3
David Molnar 3
Dengyong Zhou 3
Drew Steedly 3
Elizabeth Lane Lawley 3
Engin Ipek 3
Frank Dellaert 3
Group discussion 3
Jan Chong 3
Jennifer Chayes / Christian Borgs 3
Jeong Han Kim 3
Jianfeng Gao 3
Jin Li (MICROSOFT RESEARCH) 3
Johannes Helander 3
John Spencer, Wolfram Schulte 3
Jonathan Grudin 3
Karen Ofsthus 3
Keith Ross 3
Ken Church 3
Ken Perlin 3
Larry Zitnick 3
Laszlo Lovasz 3
Li-wei He 3
Lisa Dabek 3
Manuvir Das 3
Mark Johnson 3
Matt Uyttendaele 3
Matt Welsh 3
Matthew Hurst 3
Michael Freedman 3
Mike Barnett 3
Ofer Dekel 3
Omer Angel 3
Patrice Godefroid 3
Patrice Simard 3
Phil Bernstein 3
Richard Hartley 3
Seffi Naor 3
Serdar Tasiran 3
Sergiu Hart 3
Shuo Chen 3
Suman Nath 3
Todd Needham 3
Tom Zimmermann 3
Tony Hey 3
Uri Feige 3
Venky Ganti 3
Ahmed Bouajjani 2
Alan Smeaton 2
Alex Aiken 2
Alexei (Alyosha) Efros 2
Alice Zheng 2
Allan Sly 2
Aman Kansal 2
Andrew L. Kun 2
Andrey Rybalchenko 2
Andy Wilson 2
Anthony LaMarca 2
Arvind Arasu 2
Asaf Nachmias 2
Ashish Kapoor 2
Baochun Li 2
Ben Morris 2
Ben Taskar 2
Benjamin Watson 2
Bjarne Steensgaard 2
Blair D. Sullivan 2
LANGUAGE
english 1,572
SHOW DETAILS
Title
Date Published
Creator
The elements are what we, and everything around us, are made of. But how many elements has anyone actually seen in pure, uncombined form? Based on years of research and photography Gray has created the most complete and visually arresting representation available to the naked eye of every atom in the universe. Organized in order of appearance on the periodic table, each element is represented in a full color photograph, along with facts, figures and stories of the elements as well as data on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Theo Gray
Music understanding is the automatic recognition of pattern and structure in music. Music understanding problems include (1) matching and searching symbolic and audio music sequences, (2) parsing music to discover musical objects such as sections, notes, and beats, and (3) the interpretation and generation of expressive music performance. In spite of some impressive results, music understanding is only beginning to find a range of applications. I will present some ideas and recent work on...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Sumit Basu, Roger B. Dannenberg
We study the prize-collecting versions of the Steiner tree, traveling salesman, and stroll (a.k.a. PATH-TSP) problems (PCST, PCTSP, and PCS, respectively): given a graph (V,E) with costs on each edge and a penalty (a.k.a. prize) on each node, the goal is to find a tree (for PCST), cycle (for PCTSP), or stroll (for PCS) that minimizes the sum of the edge costs in the tree/cycle/stroll and the penalties of the nodes not spanned by it. In addition to being a useful theoretical tool for helping to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Mohammad Taghi Hajiaghayi
As with any application of machine learning, web search ranking requires labeled data. The labels usually come in the form of relevance assessments made by editors. Click logs can also provide an important source of implicit feedback and can be used as a cheap proxy for editorial labels. The main difficulty however comes from the so called position bias — urls appearing in lower positions are less likely to be clicked even if they are relevant. In this paper, we propose a Dynamic Bayesian...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Chris Burges, Olivier Chapelle
This talk introduces the origin of the Hadoop Project and a overview of Hadoop File System Architecture. Then it talks about the Hadoop environment at Facebook, the configuration of hardware and software in our Hadoop cluster, size and volume of datasets, characteristics of jobs and the processes we have built on top of Hadoop to keep the data pipeline alive and active.©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Trishul Chilimbi, Dhruba Borthakur
Commodity computer systems contain more and more processor cores and exhibit increasingly diverse architectural tradeoffs, including memory hierarchies, interconnects, instruction sets and variants, and IO configurations. Previous high-performance computing systems have scaled in specific cases, but the dynamic nature of modern client and server workloads, coupled with the impossibility of statically optimizing an OS for all workloads and hardware variants pose serious challenges for operating...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Galen Hunt, Andrew Baumann
It is well-known that methods of statistical physics are applicable to computational optimization problems like the traveling salesman problem. In the random link model, where all pairs of cities receive independent 'distances', several features of the optimum solution have been predicted non-rigorously based on so-called replica symmetry. I will present a rigorous approach where each of several optimization problems leads to a two-person game. The assumptions underlying the replica symmetric...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Johan Wastlund
Please join us for lunch at Microsoft this Giving Campaign! Hear about how our award-winning zoo saves wildlife and their habitats in the Northwest and around the world; while educating and inspiring our visitors to take conservation action. We'll also provide program/exhibit updates including the latest on the 188,000 acres our conservation partner the Tree Kangaroo Conservation Program recently protected in Papua New Guinea! And provide a little preview of our upcoming Meerkat Exhibit in...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Paul Balle, Lisa Dabek,...
Digital technology is ubiquitous; we click through licensing agreements without reading them, post music files, and add phone applications. Are these uses legal? Moral? Most people aren’t sure, and that is because social, political and economic systems—like the law—change slowly, but technology changes in the blink of an eye. Users are left in the gap between the speed of innovation and the sluggishness of social change. Let’s look at that gap, and examine the business and social...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Larry Downes
Announcing the nineteenth Symposium in Computational Linguistics sponsored by the UW Departments of Linguistics, Electrical Engineering, and Computer Science, Microsoft Research, and UW alumni at Microsoft. Come take advantage of this opportunity to connect with the computational linguistics community at Microsoft and the University of Washington. This is a regular opportunity for computational linguists at the University of Washington and at Microsoft to discuss topics in the field and to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Michael Gamon, Colin Cherry, Chris...
This talk first presents our empirical work investigating how programmers use the Web. We studied 20 individuals in the lab and over 24,000 individuals through search log analysis. We found that Web usage was widespread, with participants spending an average of 19% of their time on the Web. Moreover, individual sessions varied greatly, lasting anywhere from several seconds to tens of minutes and covering a broad range of goals from just-in-time learning of new paradigms to quick reminders of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Gina Venolia, Joel Brandt
Your colleague’s husband’s sister can make you fat, even if you don’t know her. A happy neighbor has more impact on your happiness than a happy spouse. Emotions are contagious, health behaviors spread: in fact, our social networks influence our ideas, emotions, health, relationships, politics and every aspect of our lives. We don’t live in groups, we live in networks: as proven through research ranging from bank runs to suicide prevention, from nut allergies in schoolchildren to...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Nicholas Christakis,...
Microsoft Research Audio
Oct 1, 2009 Microsoft Research
0
0
0
I will discuss the problem of cutting the (discrete or continuous) d-dimensional torus economically, so that no nontrivial cycle remains. This improves, simplifies and/or unifies results of Bollobas, Kindler, Leader and O'Donnell, of Raz and of Kindler, O'Donnell, Rao and Wigderson. More formal, detailed abstract(s) appear in http://www.math.tau.ac.il/~nogaa/PDFS/torus3.pdf and in http://www.math.tau.ac.il/~nogaa/PDFS/torusone1.pdf.Joint work with Bo'az Klartag.©2009 Microsoft Corporation. All...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eyal Lubetzky, Noga Alon
Control theory has had a productive but limited relationship with computing theory and systems. Since its modern beginnings in the work of Wiener, control theory has expanded its application domains and its theoretical foundations, but its impact on modern computing systems remains largely unfulfilled. In recent years however, problems at the interface between control theory and computer science have become more common and are increasingly attracting the interest of researchers in both fields....
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ripal Nathuji, Chaouki T. Abdallah
Microsoft Research Audio
Oct 1, 2009 Microsoft Research
3
0
0
I will show two interactive prototypes: a double-precision touch device and a tangible-on-tabletop construction kit.Examining Touch on the Fingerprint Level Doubles the Precision of Touch InputI present a novel type of touch input device based on a fingerprint scanner. During each touch, it obtains not only the finger’s contact area, but also the user’s fingerprint. It uses the relative position of the fingerprint inside the contact area to reconstruct finger posture and uses that to apply...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ken Hinckley, Patrick Baudisch
Diagrams are a useful way to efficiently convey abstract information. Layout is an important aspect of diagram creation, impacting heavily on readability. Good diagram layout is difficult because it encompasses both a user's aesthetic preferences as well as drawing conventions for particular styles of diagrams. Existing diagram authoring software provides some layout tools, but these usually perform a once-off change. As such, the author of the diagram handles the majority of diagram layout...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Lev Nachmanson, Michael Wybrow
Microsoft Research Audio
Sep 29, 2009 Microsoft Research
2
0
0
We model situations in which a principal provides incentives to a groupof agents to participate in a project (such as a social event, commercialactivity or the adoption of a certain technological standartization).Agents' benefits from participation depend on the identity of otherparticipating agents. We assume bilateral externalities and characterize theoptimal incentive mechanism. Using a graph-theoretic approach we show thatthe optimal mechanism provides a ranking of incentives for the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuval Peres, Eyal Winter
Microsoft Research Audio
Sep 28, 2009 Microsoft Research
4
0
0
We consider what constitutes identities in cryptography. Typical examples include your name and your social-security number, or your fingerprint/iris-scan, or your address, or your (non-revoked) public-key coming from some trusted public-key infrastructure. In many situations, however, where you are defines your identity. For example, we know the role of a bank-teller behind a bullet-proof bank window not because she shows us her credentials but by merely knowing her location. In this paper, we...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Seny Kamara, Nishanth Chandran
Market-based electronic systems are becoming increasingly pervasive. When we design new markets, we often use economic theory to guide our design decisions. However, existing economics research has neglected the importance of the user interfaces via which individuals interact with markets. Different user interfaces induce different (psychological) user models which in turn determine how users understand and interact with a market. In networked systems, small changes to the UI can have huge...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Mary Czerwinski and Kamal Jain, Sven...
Automated reasoning in classical logic has received much attention in the literature. Mature resolution theorem provers such as Vampire and E can handle enormous problems in first-order classical logic with equality. Waldmeister, a theorem prover for unit equational logic, has been incorporated into Mathematica as an equational reasoning method.Somewhat surprisingly, there has been much less attention devoted to non-classical logics. This is unfortunate, since many interesting and useful logics...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nikolaj Bjorner, Sean McLaughlin
There is a fine line between theft and originality: the trick is the source of the borrowing. Borrow from your direct competitors and you are a thief, but cast a wider net and borrow beyond your field and you are considered creative. In fact that is “the creative paradox”: that copying and building on the insights of others is actually the source of creativity. Ideas, in fact, are free, and it wasn’t until the free market put a price on creative ideas that people started to claim...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, David Kord Murray
Microsoft Research Audio
Sep 21, 2009 Microsoft Research
1
0
0
In this talk I illustrate a decade of my visualization-centric software engineering research. I will focus on lightweight 2D and immersive 3D software visualization for program comprehension and software evolution analysis, but I will also touch other areas I am interested in, such as mining software archives, software ecosystems, software defects, and collaborative software engineering.©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Tom Zimmermann, Michele Lanza
Giving and interpreting directions is almost a daily activity, and as such, is a necessary system component of household robots or autonomous wheelchairs. In particular, we would like to be able to parse naturally given human verbal directions, and compute the likely corresponding sequence of physical regions. We cast this as an inference problem and use a modification of Hidden Markov Models to compute the most likely physical paths corresponding to a single set of directions. We evaluated...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jaime Teevan, Emma Brunskill
Context-free languages combine expressiveness with polynomial parsing, making them very appealing for practical applications. In fact, they are possibly the most widely used class of languages in Computer Science. Thus, models of computation which slightly extend context-free models, without losing parsing efficiency, seem to have great potential for applications in fields such as Programming Languages, Formal Verification, Computational Linguistics, and Computational Biology, and are therefore...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuri Gurevich, Tamar Aizikowitz
I'll talk about two projects I worked on this summer at MSR. The first project was to find local dynamics that lead to balanced outcomes in exchange networks, an equilibrium concept that combines notions of stability and fairness. I'll present a distributed algorithm that computes a balanced outcome on bipartite graphs that builds on the auction algorithm for the assignment problem. The second project was to find local dynamics that lead to equilibrium in the Linear Fisher Market. I'll describe...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Ben Birnbaum
In this talk, I will argue for an approach for building and deploying systems that enforce measurable security goals. Historically, the security community has developed 'ideal' goals for security, but conventional systems are not built to satisfy such goals, leading to vulnerabilities. However, we find that building conventional systems to ideal security goals is not a practical option. Ideal security requires heavyweight tasks, such as complete formal assurance, and conventional systems depend...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Weidong Cui, Trent Jaeger
Microsoft Research Audio
Sep 15, 2009 Microsoft Research
12
0
0
It is time to put our most hard-held assumptions about children, parenting and education to the test of current science: and when we do so, we will find how erroneous some of those assumptions can be. For example, did you know:That exposing kids to day to day marital conflict may actually be good for them?That tests for “gifted” schools identify appropriate children only 37% of the time?That young children are more aggressive after watching television shows like “Arthur” than “Power...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Po Bronson
This talk presents how quantified loop invariants of programs over arrays can be automatically inferred using a first order theorem prover, reducing the burden of annotating loops with complete invariants.Our approach allows one to generate first-order invariants containing alternations of quantifiers.For doing so, we deploy symbolic computation methods to generate numeric invariants of the scalar loop variables, based on the software package Aligator, and then use update predicates of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nikolaj Bjorner, Laura Kovacs
In peer-to-peer file sharing systems, file replication and consistency maintenance are widely used techniques for high system performance. Despite significant interdependencies between them, these two issues are typically addressed separately. Most file replication methods rigidly specify replica nodes, leading to low replica utilization, unnecessary replicas and hence extra consistency maintenance overhead. Most consistency maintenance methods propagate update messages based on message...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Haiying (Helen) Shen
Today, federal public policy forces personal privacy through public mandate over a person's capacity and right to choose a unique personal health identifier to better protect both privacy and personal safety within health care environments as well as an individual's altruistic interest in contributing personal health data including genetic information for biomedical and health research. The presentation will review past and current policies with respect to protection of personal health...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Eric Horvitz, Don Detmer
Microsoft Research Audio
Sep 9, 2009 Microsoft Research
1
0
0
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Amir D. Aczel
In this talk, I will talk about our recent work on bandwidth allocation problem in two projects: TCP friendliness and P2P streaming.Exploring the design space of TCP-friendly traffic control protocols:While the current definition of TCP friendliness has enabled a wide variety of traffic control protocols other than TCP, it still considerably restricts the design space of TCP friendly traffic control protocols. In this project, we propose a new class of TCP friendliness definitions, called...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jin Li, Lisong Xu
Microsoft Research Audio
Sep 8, 2009 Microsoft Research
1
0
0
The multiple intents re-ranking problem was introduced recently by Azar, Gamzu and Xin (STOC 2009) in the context of ordering results of a web search query. In this problem, we are given a universe of elements U and a collection of subsets S1,S2,..,Sm.Additionally, each set S has a covering requirement of K(S).The goal is to order the elements in U to minimize average covering time of a set, where set S is said to be covered at time t, if t is the earliest time at which K(S) elements from S...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Yuval Peres, Nikhil Bansal
A piece of software is considered interactive if it consumes input and produces output throughout its execution, in contrast to non-interactive software which takes its input at program initialization and produces its output at program termination. Interactive software includes network servers, user interface applications, and computer games, and makes up the majority of user-facing software. The most common approach to implementing interactive components within modern languages is an...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Brian Chin
Cloud technology is rapidly emerging and becoming popular. The cloud promises extensive storage resources, computation cycles, and high availability at a small cost, while allowing companies to focus on their business. However, current service level agreements (Windows Azure, Amazon, etc.), only guarantee availability and reimburse the client when the promise is not respected. These SLAs do not provide any security guarantee (confidentiality, integrity, freshness, consistency). Some of the data...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Molnar, Raluca Ada Popa
A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorization policies and the workflow of the applications, so that the interplay between the policy level and the workflow level is abstracted away. While such an approach is attractive because it is quite simple and permits one to reason about crucial properties of the policies under consideration, it does not provide the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Leonardo de Moura, Silvio Ranise
We discuss the notion of array-based system as a suitable abstraction of infinite state systems such as parametrised systems or sorting programs. By using a class of quantified-first order formulae to symbolically represent array-based systems, we propose methods to check safety (invariance) properties on top of Satisfiability Modulo Theories (SMT) solvers. We identify hypotheses under which such verification technique becomes a decision procedure for invariance properties of array-based...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Leonardo de Moura, Silvio Ranise
Interactive narrative and similar AI-intensive applications require characters to perform a wide range of actions and gestures, the details of which may be difficult to anticipate at authoring-time. In the game industry, character motions are typically generated by blending clips obtained through motion-capture or by hand-authoring key frames. While these techniques can produce highly realistic motion, creating large motion libraries can be prohibitively expensive for most universities,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Nordlinger, Ian Horswill
1:30 - 2:00 Mario Bonk (U. Michigan) Transboundary Extremal Length 2:05 - 2:35 Gregory F. Lawler (U. Chicago) Understanding the SLE curve©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Mario Bonk, Gregory F....
9:30 - 10:00 Omer Angel (U. British Columbia) Random planar maps and their limits 10:05 - 10:35 Michael Freedman (Microsoft) Random triangulations as dynamical variables in quantum mechanical models©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Omer Angel, Rico Malvar,...
11:05 - 11:35 Russell Lyons (Indiana U.) Hyperfinite graph limits 11:40 - 12:10 Steffen Rohde (U. Washington) Jordan Curves and Dimension of Quasicircles©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Russell Lyons, Steffen Rohde
3:00 - 3:50 Stanislav Smirnov (U. Genève) SLE, percolation, and scaling limits 3:55 - 4:25 Scott Sheffield (MIT) SLE as a scaling limit and the Gaussian free field 4:30 Conference concludes©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Stanislav Smirnov, Scott...
3:35 - 4:05 David B. Wilson (Microsoft) Oded's work on Boolean functions 4:10 - 4:40 Christophe Garban (ENS Paris) Oded's work on Noise Sensitivity 4:45 - 5:15 Gábor Pete (U. Toronto) How to prove tightness for the size of strange random sets©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Gabor Pete, Amir Dembo,...
11:00 - 11:30 Ken Stephenson (U. Tennessee) Rigidity of circle packings 11:35 - 12:05 Zheng-Xu He (Beijing CAS) Disk packings and conformal maps 12:10 - 12:40 Igor Pak (UMN and UCLA) Caged eggs and the rigidity of convex polyhedra©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Donald E. Marshall, Ken...
2:00 - 2:30 Olle Häggström (Chalmers) Percolation, mass transport and cluster indistinguishability 2:35 - 3:05 Yuval Peres (Microsoft) Connectivity Probability in Critical Percolation: An unpublished gem from Oded©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Yuval Peres, Prasad Tetali,...
9:30 - 9:35 Jennifer Chayes (Microsoft) Opening 9:40 - 10:30 Wendelin Werner (Orsay) Oded and his SLE processes©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Jennifer Chayes, Wendelin...
Polyakov first understood in 1981 that the summation over random Riemannian metrics involved in transition amplitudes in gauge theory or string theory could be represented mathematically by the now celebrated Liouville theory of quantum gravity. The quantum gravity measure is formally defined by d mugamma = exp[gamma h(z)]dz, where dz is the 2D Euclidean measure; exp[gamma h(z)] is the random conformal factor of the Riemannian metric, with h an instance of the Gaussian free field (GFF) on a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, David Wilson, Bertrand Duplantier
Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often involve extensive pre-processing or intensive programming skills that can challenge practitioners and students alike. NodeXL, an open-source template for Microsoft Excel, offers a potentially low-barrier-to-entry framework for teaching and learning SNA. We present the findings of 2 user studies of 21 graduate students who...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Bongshin Lee, Elizabeth Bonsignore, Cody...
Non-interactive zero-knowledge proofs make it possible to prove the truth of a statement without revealing any other information. They have been used widely in the theory of cryptography, but due to efficiency problems have not yet found many practical applications. In this talk, we will cover recent pairing-based constructions of non-interactive zero-knowledge proofs that yield the necessary efficiency for practical applications as well as the possibility to have perfect and everlasting...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Melissa Chase, Jens Groth
Separating simultaneous speech signals from a mixture is well studied problem. There are two major approaches: blind source separation and spatial filtering. The first relies on the statistical independence and super-Gaussian distribution of the speech signals. The spatial filtering uses the fact that speech sources are separated in the space. In this talk will be presented the results of the summer internship where both approaches are combined for maximizing the source separation. Applications...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ivan Tashev, Lae-Hoon Kim
Microsoft Research Audio
Aug 17, 2009 Microsoft Research
3
0
0
I present Chorus, a high-level parallel programming model targeting irregular, heap-manipulating applications like mesh refinement and triangulation, and Jchorus, an implementation of the model on top of sequential Java. One focus of Chorus is dynamism: the fact that in irregularly parallel applications, ownership and isolation are usually instance-dependent and highly dynamic. The other is locality: the property that in many of the same applications, typical imperative commands only affect...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Sumit Gulwani, Swarat Chaudhuri
Process control and improvement are keys to successful businesses, especially in agile environments.The PROfessional Metrcics (PROM) system and its Experience Manager (PEM) are designed to promote them. PROM supports automatic and non invasive collection of metrics from software processes and products. Without any significant intervention of the software engineers (apart the initial configuration), data about where effort is spent, metrics on design and code, and other relevant information...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nachi Nagappan, Giancarlo Succi
Public key encryption (PKE) allows parties that had never met in advance to communicate over an unsafe channel. The notion was conceived in the 1970s, followed by the discovery that one could provide formal definitions of security for this and other cryptographic problems, and that such definitions were achievable by assuming the hardness of some computational problem (e.g., factoring large numbers). For PKE, the most basic security definition – semantic security – guarantees privacy,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Melissa Chase, Tal Malkin
Microsoft Research Audio
Aug 11, 2009 Microsoft Research
7
0
0
With the explosion of camera sales in the 5 past years, a lot of old photographic techniques have again become popular. Among them, panorama creation is one of the most promising. Kolor is today the leader in stitching technology worldwide with the Autopano Pro, and Autopano Gigaproducts. We'll present our products through the technology used as well as a quick live demonstration. Some uncommon usage of panoramic will be shown : gigapixels, sun path calculation, and webcam stitching. Another...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Matt Uyttendaele, Alexandre Jenny
Over the years, principles and techniques from programming languages have played a significant role in the study of secure and correct communication. In this talk, we outline some of our work in bringing similar foundational ideas to the design and analysis of secure and correct systems. Such systems, which include file systems, operating systems, and other distributed systems, care not only about communication but also storage and computation. In fact, we indicate how modern variants of such...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jim Larus, Avik Chaudhuri
It is a time-honored fashion to implement a domain-specific language(DSL) by translation to a general-purpose language. Such an implementation is more portable, but an unidiomatic translation jeopardizes performance because, in practice, language implementations favor the common cases. This tension arises especially when the domain calls for complex control structures. We illustrate this tension by revisiting Landin's original correspondence between Algol and Church's lambda-notation.We...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Francesco Logozzo, Olivier Danvy
The talk will discuss the benefits of using logic-based declarative languages, especially for program analysis. The main focus will be on the Doop framework for points-to analysis of Java programs. Doop builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based language for defining (recursive) relations. We carry the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ben Livshits, Yannis Smaragdakis
Microsoft Research Audio
Jul 31, 2009 Microsoft Research
7
0
0
JSON is a simple data interchange format. It is rare among standards in that minimalism was one of the principle goals of its design. Radical minimalism made it possible for JSON to compete successfully against entrenched, maximal standards.©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Helen Wang, Douglas Crockford
One of the key challenges facing the professionalservices delivery business is the issue of optimally balancingcompeting demands from multiple, concurrent engagementson a limited supply of skill resources. In this paper, wepresent a framework for combining causal Bayesian analysisand optimization to address this challenge. Our frameworkintegrates the identification and modeling of the impact ofvarious staffing factors on the delivery quality of individualengagements, and the optimization of the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dennis Gannon, Afsaneh Shirazi
Grey is an access-control system in which smartphones serve as the token by which users exercise and delegate their authority. In an ongoing deployment on CMU's campus, Grey is used daily by about 30 people to control access to office doors and to log in to computers. Grey has several distinguishing features, such as the use of logic-based techniques to achieve high assurance and its support for ad-hoc delegation: users can modify their access-control policy at the time and place of their...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Stuart Schechter, Lujo Bauer
Microsoft Research Audio
Jul 30, 2009 Microsoft Research
1
0
0
Interaction is becoming an integral part in using visualization for analysis. When interaction is tightly and appropriately coupled with visualization, it can transform the visualization from displaying static imageries to assisting comprehensive analysis of data at all scales. In this relationship, a deeper understanding of the role of interaction, its effects, and how visualization relates to interaction is necessary for designing systems in which the two components complement each other.In...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Danyel Fisher, Remco Chang
The ability to prove equivalence of successive, closely-related versions of a program can be useful for maintaining backward compatibility. This problem has the potential of being easier in practice than functional verification for at least two reasons: First, it circumvents the problem of specifying what the program should do; Second, in many cases it is computationally easier, because it offers various opportunities for abstraction and decomposition that are only relevant in this context.I...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Shuvendu Lahiri, Ofer Strichman
A popular trend in computer vision, graphics, and machine learning is to replace sophisticated statistical models with simpler generic ones, and to compensate for the missing domain knowledge with huge datasets. These huge datasets in turn require us to solve huge numerical optimization problems that tax popular off-the-shelf implementations of popular algorithms. I describe a randomized way to solve these large scale optimization problems quickly, in a few lines of code, and with provably good...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, John Platt, Ali Rahimi
Through a combination of chance and design, modern Web browsers have evolved into rich hosts for applications that live 'in the cloud.' For end users, the Web application experience can be seamless, coming across as a portable version of the desktop apps that users are accustomed to. Behind the scenes, a modern 'AJAX' (Asynchronous JavaScript And XML) Web app is built by coupling a variety of languages that weren't necessarily designed to play well together. We have HTML and CSS for describing...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Nikhil Swamy, Adam Chlipala
Microsoft Research Audio
Jul 23, 2009 Microsoft Research
1
0
0
We have been studying phishing websites since early 2007, finding out how long it is before they're removed, and gathering all sort of other statistics. We can now explain why our lifetime measures exceed what the industry expected; we understand how some of the vulnerable sites are found by attackers – and we can explain why the same sites are re-compromised again and again. We can compare takedown times for phishing with how long other types of illegal site remain available, and use...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Cormac Herley, Richard Clayton
Blogs are everywhere. They have exposed truths and spread rumors. Made and lost fortunes. Toppled cabinet members and sparked grassroots movements. Immediate, intimate and influential, they have put the power of personal publishing into everyone’s hands. Before blogs it was easy to believe that the Web would grow up to be a clickable TV—slick, passive, mass market. Instead, blogging brought the Web’s native character into focus: convivial, expressive, democratic. Far from being...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kevin Schofield, Scott Rosenberg
Wireless networking is becoming the dominant technology for Internet access, resulting in a rapidly growing demand for wireless bandwidth. Meeting these demands requires new wireless techniques that make efficient use of the scarce unlicensed spectrum. In this talk, I will discuss four such techniques: channel aware rate adaptation (Charm), a protocol for opportunistic retransmission (PRO), transmit power and CCA threshold tuning, and the use of directional antennas. I will present the design,...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Ranveer Chandra, Peter Steenkiste
Passive RFID tags harvest their operating energy from an interrogating reader, but constant energy shortfalls severely limit their computational and storage capabilities. We propose Cryptographic Computational Continuation Passing (CCCP), a mechanism that amplifies programmable passive RFID tags’ capabilities by exploiting an often overlooked, plentiful resource: low-power radio communication. While radio communication is more energy intensive than flash memory writes in many embedded...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Seny Kamara, Mastooreh Salajegheh
The problem of computing a maximum a posteriori (MAP) configuration is a central computational challenge associated with Markov random fields. There has been some focus on “tree-based' linear programming (LP) relaxations for the MAP problem. This paper develops a family of super-linearly convergent algorithms for solving these LPs, based on proximal minimization schemes using Bregman divergences. As with standard message passing on graphs, the algorithms are distributed and exploit the...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Dengyong Zhou, Alekh Agarwal
Until recently, the study of cognition and the neurophysiological basis of human behavior was the subject of quite separate disciplines such as psychology, neurophysiology, cognitive science, computer science, and philosophy, among others. Mental processes were mainly studied in the framework of abstract theories, mathematical models, and disembodied artificial intelligence. It has now become clear that mental processes are strongly entwined with the physical structure of the body and its...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Zhengyou Zhang, Giorgio Metta
Static spectrum allocation has resulted in low spectrum efficiency in licensed bands and poor performance of radio devices in crowded unlicensed bands. To remedy these problems, we have been exploring ways of exploiting the concept of 'spectrum agility' such that radio devices can dynamically and opportunistically utilize idle spectral bands. Cognitive radio (CR) is one such device that enables dynamic spectrum access and environment-aware wireless networking.We studied several key elements of...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Victor Bahl, Kang G. Shin
Microsoft Research Audio
Jul 16, 2009 Microsoft Research
8
0
0
Eyeglasses have been transformed from medical necessity to fashion accessory. This revolution came about through embracing the design culture of the fashion industry. Why shouldn’t design sensibilities also be applied to hearing aids, synthetic limbs and communication aids? In return disability can provoke radical new directions in mainstream design. In fact, design and disability can inspire each other: Charles and Ray Eames’s iconic furniture was inspired by a molded plywood leg splint...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Graham Pullin
I'll begin by describing SANDstorm, the Sandia entry in the NIST Hash Function competition. Next, I borrow an idea of Peter Montgomery's to speed up elliptic curve calculations (Affine Strikes Back!). Finally, I'll offer a frisson of lighter math fare.©2009 Microsoft Corporation. All rights reserved.
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kristin Lauter, Rich Schroeppel
Microsoft Research Audio
Jul 15, 2009 Microsoft Research
6
0
0
In the digital marketplace, the most effective price is no price at all. Savvy businesses are raking it in with indirect routes from product to revenue with such models as cross-subsidies (giving away a DVR to cell cable service) and “freemiums” (offering Flickr for free while selling the superior FlickrPro to serious users. New media models have allowed successes like Obama’s campaign “billboards” on Xbox Live, Webkinz dolls and Radiohead’s name-your-own-album experiment. A...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Kirsten Wiley, Chris Anderson
Recent research on statistical machine translation has lead to the rapid development of syntax-based translation models, which exploit syntactic information to direct translation. In this talk, I will give an overview of tree-to-string translation models, one of the state-of-the-art syntax-based models. In a tree-to-string model, the source side is a phrase structure parse tree and the target side is a string. This talk includes the following topics: (1) tree-based tree-to-string model, (2)...
Topics: Microsoft Research, Microsoft Research Audio MP3 Archive, Jianfeng Gao, Yang Liu